1. Tools for Practical Software Verification :
Author: edited by Bertrand Meyer, Martin Nordio.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
V47
E358
2012
